Normal(${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$$\in$dom(${\it da}$). $A$=${\it da}$($x$) $\Rightarrow$  Normal($A$)